wip

diff --git a/debian/rules b/debian/rules
index 025c756db45027853632dcfac066c07290231718..4fdb2ff885e1fefd1b0035e645726690a8e644bb 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -127,7 +127,6 @@ override_dh_auto_configure:
        :
        cp debian/xen-kconfig xen/.config
        make -C xen olddefconfig $(make_args_xen)
-       false
        :
        $(make_args_tools) ./configure \
                --disable-stubdom \